

time klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify eq.bc 63 2 >/dev/null 2>&1
